- constant functor
- мат.постоянный функтор
English-Russian scientific dictionary. 2008.
constant functor
Смотреть что такое "constant functor" в других словарях:
Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… … Wikipedia
Constant sheaf — In mathematics, the constant sheaf on a topological space X associated to a set A is a sheaf of sets on X whose stalks are all equal to A. It is denoted by A or AX. The constant presheaf with value A is the presheaf that assigns to each open… … Wikipedia
Diagonal functor — In category theory, for any object a in any category where the product exists, there exists the diagonal morphism satisfying for , where πk … Wikipedia
Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… … Wikipedia
Initial and terminal objects — Terminal element redirects here. For the project management concept, see work breakdown structure. In category theory, an abstract branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C,… … Wikipedia
Cone (category theory) — In category theory, a branch of mathematics, the cone of a functor is an abstract notion used to define the limit of that functor. Cones make other appearances in category theory as well. Contents 1 Definition 2 Equivalent formulations 3 Category … Wikipedia
Universal property — In various branches of mathematics, certain constructions are frequently defined or characterised by an abstract property which requires the existence of a unique morphism under certain conditions. These properties are called universal properties … Wikipedia
Final topology — In general topology and related areas of mathematics, the final topology (inductive topology or strong topology) on a set X, with respect to a family of functions into X, is the finest topology on X which makes those functions continuous.… … Wikipedia
End (category theory) — Not to be confused with the use of End to represent (categories of) endomorphisms. In category theory, an end of a functor is a universal dinatural transformation from an object e of X to S. More explicitly, this is a pair (e,ω), where e is an… … Wikipedia
Direct limit — In mathematics, a direct limit (also called inductive limit) is a colimit of a directed family of objects . We will first give the definition for algebraic structures like groups and modules, and then the general definition which can be used in… … Wikipedia
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … Wikipedia
